\begin{tabbing}
$\forall$$l$:IdLnk, ${\it tg}$:Id, $L$:(Knd List).
\\[0ex]R{-}realizes\=\{i:l\}\+
\\[0ex](Rsframe($l$; ${\it tg}$; $L$); ${\it es}$.sframe{-}p(${\it es}$; $l$; ${\it tg}$; $L$))
\-
\end{tabbing}